Merging information under constraints: a qualitative framework

Merging Information Under Constraints: A Logical Framework

Merging Information Under Constraints: A Logical Framework

The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a consensual one. Then a representation theorem in terms of pre-orders on interpretations is given. The close connection between belief revision and merging operators is shown and it is shown that the proposa...

A Framework for Merging Qualitative Constraints Networks

Spatial or temporal reasoning is an important task for many applications in Artificial Intelligence, such as space scheduling, navigation of robots, etc. Several qualitative approaches have been proposed to represent spatial and temporal entities and their relations. These approaches consider the qualitative aspects of the space relations only, disregarding any quantitative measurement. In some...

Quasi-merging and Pure-arbitration on Information for the Family of Adaptive Logics ADM∗

The present paper introduces two new information merging protocols for the family of adaptive logics ADM, for which majority merging has been defined in previous work. The new adaptive operators reflect the negotiation processes of quasi-merging and pure-arbitration known from the Integrity Constraints framework. The Adaptive Variant Counting selection provides results equivalent to the GMax fa...

Merging Qualitative Constraints Networks Using Propositional Logic

In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into propositional formulas, and take advantage of propositional merging operators.